Search
1 heading found for n 88237558
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Sifakis, Joseph, 1946-....
Sifakis, J. Sifakis, J. (Joseph), 1946- Ιωσήφ Σηφάκης Sifakis, Joseph |
Personal | Aldebaran : a system of verification of communicating processes by using reduct
...
Automatic verification methods for finite state systems : international workshop ... Automatic verification methods for finite state systems : international workshop ... Automatic verification methods for finite state systems : international workshop ... |